$\forall$$r$,$s$:rationals. q\_le($r$; $s$) $\in$ $\mathbb{B}$